Asynchronous Session Types: Exceptions and Multiparty Interactions

Global Escape in Multiparty Sessions

This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, preserving compatibility of the multiparty conversations. Our escape is realised by a collection of asynchronous local exceptions which can be thrown at any stage of the communication and to any subsets of participants in a multipa...

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

Multiparty session types are a type system that can ensure the safety and liveness of distributed peers via the global specification of their interactions. To construct a global specification from a set of distributed uncontrolled behaviours, this paper explores the problem of fully characterising multiparty session types in terms of communicating automata. We equip global and local session typ...

A Gentle Introduction to Multiparty Asynchronous Session Types

This article provides a gentle introduction to multiparty session types, a class of behavioural types specifically targeted at describing protocols in distributed systems based on asynchronous communication. The type system ensures well-typed processes to enjoy non-trivial properties, including communication safety, protocol fidelity, as well as progress. The adoption of multiparty session type...

Examples for Multiparty Asynchronous Session Types

Multiparty Session Types as Communicating Automata: Characterisation and Synthesis

Multiparty session types is a type discipline that can ensure the safety and liveness of distributed peers via the global specification of the interaction. To construct a global specification from a set of distributed uncontrolled behaviours, this paper explores the problem of fully characterising multiparty session types in terms of communicating automata. We equip global and local session typ...